DataRecordCoinductive.agda:36,1-37
Pattern matching on coinductive types is not allowed
when checking that the clause consume (cons (x ∷ xs)) = consume xs
has type {A : Set} → Stream A → ⊥
